<!-- A common menu for managing a scheduler -->
<ul id="menu">
	<li>${ sessionData.currentSchedulerName }: </li>
	<li><a href="${ mainPath }/job/list">Jobs</a></li>
	<li><a href="${ mainPath }/scheduler/summary">Scheduler</a></li>
	<li><a href="${ mainPath }/scripting/run">Scripting</a></li>
	<li><a href="${ mainPath }/dashboard/list">Dashboard</a></li>
</ul>